supremum and infimum real analysis